退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:用Gentzen的顺序法研究某些时态逻辑
Nishimura Hirokazu;
机译:多维模态逻辑的拼接方法:时态和模态运算符组合的案例研究
机译:多维模态逻辑的镶嵌方法:时态和模态运算符组合的案例研究
机译:对“顺序逻辑电路的功率估算方法”的更正[对应]
机译:命题多值逻辑中的经典Gentzen类型方法
机译:用Gentzen序贯方法研究某些模型逻辑的Kripke型模型
机译:先生成像MR光谱学和脑病中新生儿顺序研究的扩散张量成像
机译:量子逻辑中的Gentzen方法
机译:顺序逻辑网络故障诊断研究
机译:序贯学习型非静止图像检测装置,实现序贯学习型非静止图像检测方法的程序为null
机译:网络上的存储驱动器,从网络依次访问存储介质中文件数据的方法,基于文件的存储逻辑(包括用于转换命令的逻辑),用于存储TOC,磁带,用于记录数据的逻辑和逻辑的存储逻辑
机译:将顺序逻辑设计转换为等效组合逻辑的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。